Model Checking
The increasing reliance on critical system both hardware and software with multiple failure points and increased system design complexity; The reliability is a key problem in system design.
With multiple components in a system interacting with one another and also performing concurrent activities, these systems are vulnerable to errors. The number of defects increase exponentially with teh number of interacting systems components. In genral modelling the non-deterministic and concurrent behaviour of some of these system is a very-hard to handle with standard techniques. The growing complexity, together with the pressure on time to market makes delivering a low-defect system with enourmous compexity a challenging and complex activity.